Epireflections and Supercompact Cardinals
نویسندگان
چکیده
We prove that the existence of arbitrarily large supercompact cardinals implies that every absolute epireflective class of objects in a balanced accessible category is a small-orthogonality class. In other words, if L is a localization functor on a balanced accessible category such that the unit morphism X → LX is an epimorphism for all X and the class of L-local objects is defined by an absolute formula, then the existence of a sufficiently large supercompact cardinal implies that L is a localization with respect to some set of morphisms.
منابع مشابه
Patterns of Compact Cardinals
We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V |= “ZFC + Ω is the least inaccessible limit of measurable limits of supercompact cardinals + f : Ω → 2 is a function”, then there is a partial ordering P ∈ V so that for...
متن کاملThe large cardinals between supercompact and almost-huge
I analyze the hierarchy of large cardinals between a supercompact cardinal and an almost-huge cardinal. Many of these cardinals are defined by modifying the definition of a high-jump cardinal. A high-jump cardinal is defined as the critical point of an elementary embedding j : V → M such that M is closed under sequences of length sup{ j(f)(κ) | f : κ→ κ }. Some of the other cardinals analyzed i...
متن کاملHod-supercompactness, Indestructibility, and Level by Level Equivalence
In an attempt to extend the property of being supercompact but not hod-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not hod-supercompact ...
متن کاملOn the Strong Equality between Supercompactness and Strong Compactness
We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V |= ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension V [G] |= ZFC + GCH in which, (a) (preservation) for κ ≤ λ regular, if V |...
متن کاملThe Tree Property up to אω+1
Assuming ω supercompact cardinals we force to obtain a model where the tree property holds both at אω+1, and at אn for all 2 ≤ n < ω. A model with the former was obtained by Magidor–Shelah from a huge cardinal and ω supercompact cardinals above it, and recently by Sinapova from ω supercompact cardinals. A model with the latter was obtained by Cummings–Foreman from ω supercompact cardinals. Our ...
متن کامل